SCALABLE COMPUTING Practice and Experience Special Issue: Practical Aspects of High-Level Parallel Programming
نویسندگان
چکیده
The PMLS parallelizing compiler for Standard ML is based upon the automatic instantiation of algorithmic skeletons at sites of higher order function (HOF) use. Rather than mechanically replacing HOFs with skeletons, which in general leads to poor parallel performance, PMLS seeks to predict run-time parallel behaviour to optimise skeleton use. Static extraction of analytic cost models from programs is undecidable, and practical heuristic approaches are intractable. In contrast, PMLS utilises a hybrid approach by combining static analytic cost models for skeletons with dynamic information gathered from the sequential instrumentation of HOF argument functions. Such instrumentation is provided by an implementation independent SML interpreter, based on the language’s Structural Operational Semantics (SOS), in the form of SOS rule counts. PMLS then tries to relate the rule counts to program execution times through numerical techniques. This paper considers the design and implementation of the PMLS approach to parallel performance prediction. The formulation of a general rule count cost model as a set of over-determined linear equations is discussed, and their solution by single value decomposition, and by a genetic algorithm, are presented.
منابع مشابه
Theoretical, Scientific and Practical Aspects of the Basic Stages of Cad Cam Designing of Centrifugal Pumps
Many theoretical and practical problems arise at different stages of the design/manufacturing process during development of a pump. The experience obtained in pump development proves that the quality of a pump depends on many factors, which should he satisfied to receive good results. At the same time, the theory of engineering design principles exists, which is applicable to designing various ...
متن کاملPerformance Study of the First Three Intel Multicore Processors
The transition from sequential computing to parallel computing represents the next turning point in the way software engineers design and write software. This paradigm shift leads the integration of parallel programming standards for high-end shared-memory machine architectures into desktop programming environments. In this paper we present a performance study of these new systems. We evaluate ...
متن کاملThroughput Improvement of Molecular Dynamics Simulations Using Reconfigurable Computing
A number of grand-challenge scientific applications are unable to harness Terflops-scale computing capabilities of massively-parallel processing (MPP) systems due to their inherent scaling limits. For these applications, multi-paradigm computing systems that provide additional computing capability per processing node using accelerators are a viable solution. Among various generic and custom-des...
متن کاملA scalable HPF implementation of a finite-volume computational electromagnetics application on a CRAY T3E parallel system
The time-dependent Maxwell equations are one of the most important approaches to describing dynamic or wide-band frequency electromagnetic phenomena. A sequential finite-volume, characteristic-based procedure for solving the time-dependent, three-dimensional Maxwell equations has been successfully implemented in Fortran before. Due to its need for a large memory space and high demand on CPU tim...
متن کامل